docs: Improve the GtkMediaControls gallery image
authorMatthias Clasen <mclasen@redhat.com>
Mon, 26 Oct 2020 02:26:19 +0000 (22:26 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 26 Oct 2020 02:26:19 +0000 (22:26 -0400)
docs/reference/gtk/images/media-controls.png
docs/tools/widgets.c

index d49f88d9c3e28bc681baa360a37affe63368f84b..41f228c3f3cc31e92facc2209b878c4adf5abda0 100644 (file)
Binary files a/docs/reference/gtk/images/media-controls.png and b/docs/reference/gtk/images/media-controls.png differ
index 96b9b6254c1cdaf2d6bb22237cbb43eb7213c45d..f324f4fb42bd2904b0fe40a5a86ee6b602fe5c74 100644 (file)
@@ -1124,8 +1124,13 @@ create_media_controls (void)
 {
   GtkWidget *widget;
   GtkWidget *vbox;
+  GtkMediaStream *stream;
+  WidgetInfo *info;
 
-  widget = gtk_media_controls_new (NULL);
+  stream = gtk_media_file_new_for_filename ("demos/gtk-demo/gtk-logo.webm");
+  gtk_media_stream_play (stream);
+  widget = gtk_media_controls_new (stream);
+  gtk_widget_set_size_request (widget, 210, -1);
   gtk_widget_set_halign (widget, GTK_ALIGN_CENTER);
   gtk_widget_set_valign (widget, GTK_ALIGN_CENTER);
 
@@ -1135,7 +1140,10 @@ create_media_controls (void)
 
   add_margin (vbox);
 
-  return new_widget_info ("media-controls", vbox, SMALL);
+  info = new_widget_info ("media-controls", vbox, SMALL);
+  info->wait = 2000;
+
+  return info;
 }
 
 static WidgetInfo *